Skyum, Sven: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Reset nets between decidability and undecidability

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 681 KB

english, 1998

2

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Compact encodings of planar graphs via canonical orderings and multiple parentheses

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 762 KB

english, 1998

3

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Algorithmic verification of linear temporal logic specifications

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 832 KB

english, 1998

4

A simple algorithm for computing the smallest enclosing circle

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 706 KB

english, 1991

5

A measure in which Boolean negation is exponentially powerful

Journal:

Information Processing Letters

Year:

1983

Language:

english

File:

PDF, 312 KB

english, 1983

6

[Lecture Notes in Computer Science] Algorithm Theory — SWAT '94 Volume 824 || Task scheduling in networks

Schmidt, Erik M., Skyum, Sven

Year:

1994

Language:

english

File:

PDF, 808 KB

english, 1994

7

The copying power of one-state tree transducers

Joost Engelfriet, Sven Skyum

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.19 MB

english, 1982

8

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || CONS-free programs with tree input

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 677 KB

english, 1998

9

Dynamic word problems

Skovbjerg Frandsen, Gudmund, Miltersen, Peter Bro, Skyum, Sven

Journal:

Journal of the ACM

Year:

1997

Language:

english

File:

PDF, 319 KB

english, 1997

10

[ACM Press seventh annual ACM symposium - Albuquerque, New Mexico, United States (1975.05.05-1975.05.07)] Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75 - On decomposing languages defined by parallel devices

Year:

1975

Language:

english

File:

PDF, 282 KB

english, 1975

11

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Do probabilistic algorithms outperform deterministic ones?

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 152 KB

english, 1998

12

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Reducing simple polygons to triangles - A proof for an improved conjecture -

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 459 KB

english, 1998

13

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Improved pseudorandom generators for combinatorial rectangles

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 568 KB

english, 1998

14

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Independent sets with domination constraints

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 695 KB

english, 1998

15

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || On computing the entropy of cellular automata

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 626 KB

english, 1998

16

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Translation validation for synchronous languages

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 607 KB

english, 1998

17

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Complete proof systems for observation congruences in finite-control π-calculus

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 556 KB

english, 1998

18

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Robust asynchronous protocols are finite-state

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 690 KB

english, 1998

19

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Simple linear-time algorithms for minimal fixed points

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 768 KB

english, 1998

20

[Lecture Notes in Computer Science] Algorithm Theory — SWAT '94 Volume 824 || Dominating cliques in distance-hereditary graphs

Schmidt, Erik M., Skyum, Sven

Year:

1994

Language:

english

File:

PDF, 649 KB

english, 1994

21

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Concurrent constraints in the fusion calculus

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 836 KB

english, 1998

22

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Deciding bisimulation-like equivalences with finite-state processes

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 699 KB

english, 1998

23

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Generalised flowcharts and games

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 593 KB

english, 1998

24

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || A complex example of a simplifying rewrite system

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 496 KB

english, 1998

25

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Constraint automata and the complexity of recursive subtype entailment

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 694 KB

english, 1998

26

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || A simple solution to type specialization

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 437 KB

english, 1998

27

Decomposition Theorems for Various Kinds of Languages Parallel in Nature

Journal:

SIAM Journal on Computing

Year:

1976

Language:

english

File:

PDF, 1.08 MB

english, 1976

28

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Limited wavelength conversion in all-optical tree networks

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 643 KB

english, 1998

29

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Hardness results for dynamic problems by extensions of Fredman and Saks' chronogram method

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 736 KB

english, 1998

30

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Concatenable graph processes: Relating processes and derivation traces

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 767 KB

english, 1998

31

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Partial-congruence factorization of bisimilarity induced by open maps

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 738 KB

english, 1998

32

Parallel context-free languages

Journal:

Information and Control

Year:

1974

Language:

english

File:

PDF, 218 KB

english, 1974

33

A Note on the Complexity of General $D0L$ Membership

Jones, Neil D., Skyum, Sven

Journal:

SIAM Journal on Computing

Year:

1981

Language:

english

File:

PDF, 398 KB

english, 1981

34

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Structural recursive definitions in type theory

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 608 KB

english, 1998

35

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Simpler and faster dictionaries on the AC0 RAM

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 757 KB

english, 1998

36

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Axioms for contextual net processes

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 778 KB

english, 1998

37

Recognition of deterministic ETOL languages in logarithmic space

Neil D. Jones, Sven Skyum

Journal:

Information and Control

Year:

1977

Language:

english

File:

PDF, 213 KB

english, 1977

38

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Geometric algorithms for robotic manipulation

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 100 KB

english, 1998

39

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || On a duality between Kruskal and Dershowitz theorems

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 544 KB

english, 1998

40

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Reasoning about the past with two-way automata

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 803 KB

english, 1998

41

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Efficient minimization of numerical summation errors

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 642 KB

english, 1998

42

Complexity of some problems concerningLsystems

Neil D. Jones, Sven Skyum

Journal:

Theory of Computing Systems

Year:

1979-1980

Language:

english

File:

PDF, 960 KB

english, 1979-1980

43

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Power of cooperation and multihead finite systems

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 738 KB

english, 1998

44

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Difficult configurations — on the complexity of LTrL

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 624 KB

english, 1998

45

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || A total AC-compatible reduction ordering on higher-order terms

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 638 KB

english, 1998

46

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || A neuroidal architecture for cognitive computation

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 1.81 MB

english, 1998

47

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Computing mimicking networks

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 705 KB

english, 1998

48

Copying theorems

Joost Engelfriet, Sven Skyum

Journal:

Information Processing Letters

Year:

1976

Language:

english

File:

PDF, 805 KB

english, 1976

49

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Deterministic polylog approximation for minimum communication spanning trees

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 571 KB

english, 1998

50

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || On the expressiveness of real and integer arithmetic automata

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 717 KB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски